Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2h
🔧Functional programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
λHaskell
Flag this post
Scala vs. F#
λHaskell
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
⚡Algebraic Effects
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·8h
λHaskell
Flag this post
Handbook of Satisfiability (2021)
🔧Functional programming
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
⚡Algebraic Effects
Flag this post
Dive into Systems
🔲Cellular Automata
Flag this post
C++ move semantics from scratch (2022)
⚡Algebraic Effects
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
λHaskell
Flag this post
Loading...Loading more...